Turing degrees of reals of positive effective packing dimension

نویسندگان

  • Rodney G. Downey
  • Noam Greenberg
چکیده

A relatively longstanding question in algorithmic randomness is Jan Reimann’s question whether there is a Turing cone of broken dimension. That is, is there a real A such that {B : B ≤T A} contains no 1-random real, yet contains elements of nonzero effective Hausdorff Dimension? We show that the answer is affirmative if Hausdorff dimension is replaced by its inner analogue packing dimension. We construct a minimal degree of effective packing dimension 1. This leads us to examine the Turing degrees of reals with positive effective packing dimension. Unlike effective Hausdorff dimension, this is a notion of complexity which is shared by both random and sufficiently generic reals. We provide a characterization of the c.e. array noncomputable degrees in terms of effective packing dimension.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Turing Degrees of Reals of Positive Effective Packing Dimension

A relatively longstanding question in algorithmic randomness is Jan Reimann’s question whether there is a Turing cone of broken dimension. That is, is there a real A such that {B : B ≤T A} contains no 1-random real, yet contains elements of nonzero effective Hausdorff Dimension? We show that the answer is affirmative if Hausdorff dimension is replaced by its inner analogue packing dimension. We...

متن کامل

A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one

Recently, the Dimension Problem for effective Hausdorff dimension was solved by J. Miller in [Mil], where the author constructs a Turing degree of non-integral Hausdorff dimension. In this article we settle the Dimension Problem for effective packing dimension by constructing a real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one ...

متن کامل

Constructive Dimension and Weak Truth-Table Degrees

This paper examines the constructive Hausdorff and packing dimensions of weak truth-table degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dimH(S) and constructive packing dimension dimP(S) is weak truth-table equivalent to a sequence R with dimH(R) ≥ dimH(S)/dimP(S)− ǫ, for arbitrary ǫ > 0. Furthermore, if dimP(S) > 0, then dimP(R) ≥ 1− ǫ. The re...

متن کامل

Effective Packing Dimension and Traceability Rod Downey and Keng

The concern of this paper is with effective packing dimension. This concept can be traced back to the work of Borel and Lebesgue who studied measure as a way of specifying the size of sets. Carathéodory later generalized Lebesgue measure to the n-dimensional Euclidean space, and this was taken further by Hausdorff [Hau19] who generalized the notion of s-dimensional measure to include non-intege...

متن کامل

Computability, Traceability and Beyond

This thesis is concerned with the interaction between computability and randomness. In the first part, we study the notion of traceability. This combinatorial notion has an increasing influence in the study of algorithmic randomness. We prove a separation result about the bounds on jump traceability, and show that the index set of the strongly jump traceable computably enumerable (c.e.) sets is...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Inf. Process. Lett.

دوره 108  شماره 

صفحات  -

تاریخ انتشار 2008